-
1 definable symbol
Большой англо-русский и русско-английский словарь > definable symbol
-
2 definable symbol
Математика: определяемый символ -
3 definable symbol
-
4 definable symbol
The New English-Russian Dictionary of Radio-electronics > definable symbol
-
5 definable symbol
мат. -
6 symbol
1) знак2) обозначение3) символ, символическое обозначение•- power residue symbol - symbol of unit - symbol of virtual intersection -
7 symbol
1) символа) знакб) условный знак; условное обозначение; графическое обозначениев) вчт идентификаторг) образ; отображениед) эмблема2) представлять в символической форме; применять символическую запись; использовать символ(ы); использоваться в качестве символа3) использовать условные знаки или условные обозначения; использоваться в качестве условного знака или условного обозначения•- abstract symbol
- active symbol
- additional symbol
- admissible symbol
- aiming symbol
- algebraic symbol
- alpha symbol
- alphabetic symbol
- alphanumeric symbol
- annotation symbol
- auxiliary symbol
- barred symbol
- basic symbol
- blinking symbol
- Boolean symbol
- built-up symbol
- cell alphabet symbol
- check symbol
- checking symbol
- Christoffel symbol
- command symbol
- composite symbol
- connector symbol
- control symbol
- decision symbol
- definable symbol
- delta symbol
- delta Kronecker symbol
- derivative symbol
- digital symbol
- diode symbols
- dollar sign symbol
- dotted symbol
- euro sign symbol
- external symbol
- flowchart symbol
- flowcharting symbol
- functional symbol
- fundamental symbol
- generalized symbol
- generating symbol
- graphical symbol
- grouping symbol
- Hermann-Mauguin symbols
- illegal symbol
- information symbol
- input/output symbol
- international crystallographic symbols
- Kronecker symbols
- Levi-Civita symbols
- literal symbol
- logic symbol
- match-all symbol
- math symbol
- mathematical symbol
- metalogic symbol
- mnemonic symbol
- nonadmissible symbol
- nonblinking symbol
- nonterminal symbol
- numeric symbol
- odd symbol
- operator symbol
- partial derivative symbol
- phonemic symbol
- phonematic symbol
- predefined process symbol
- predicate symbol
- processing symbol
- proofreader's symbol
- punctuation symbol
- schematic symbol
- Schoenflies symbols
- separation symbol
- shading symbol
- Shubnikov symbols
- special symbol
- standard symbol
- start/stop symbol
- suggestive symbol
- syntactical symbol
- terminal symbol
- terminating symbol
- transistor symbols
- undeclared symbol
- undefined symbol
- underscore symbol
- unit symbol
- variable symbol
- vector symbol
- wildcard symbol
- wire symbol
- δ symbols -
8 symbol
1) символа) знакб) условный знак; условное обозначение; графическое обозначениев) вчт. идентификаторг) образ; отображениед) эмблема2) представлять в символической форме; применять символическую запись; использовать символ(ы); использоваться в качестве символа3) использовать условные знаки или условные обозначения; использоваться в качестве условного знака или условного обозначения•- abstract symbol
- active symbol
- additional symbol
- admissible symbol
- aiming symbol
- algebraic symbol
- alpha symbol
- alphabetic symbol
- alphanumeric symbol
- annotation symbol
- auxiliary symbol
- barred symbol
- basic symbol
- blinking symbol
- Boolean symbol
- built-up symbol
- cell alphabet symbol
- check symbol
- checking symbol
- Christoffel symbol
- command symbol
- composite symbol
- connector symbol
- control symbol
- decision symbol
- definable symbol
- delta Kronecker symbol
- delta symbol
- derivative symbol
- digital symbol
- diode symbols
- dollar sign symbol
- dotted symbol
- euro sign symbol
- external symbol
- flowchart symbol
- flowcharting symbol
- functional symbol
- fundamental symbol
- generalized symbol
- generating symbol
- graphical symbol
- grouping symbol
- Hermann-Mauguin symbols
- illegal symbol
- information symbol
- input/output symbol
- international crystallographic symbols
- Kronecker symbols
- Levi-Civita symbols
- literal symbol
- logic symbol
- match-all symbol
- math symbol
- mathematical symbol
- metalogic symbol
- mnemonic symbol
- nonadmissible symbol
- nonblinking symbol
- nonterminal symbol
- numeric symbol
- odd symbol
- operator symbol
- partial derivative symbol
- phonematic symbol
- phonemic symbol
- predefined process symbol
- predicate symbol
- processing symbol
- proofreader's symbol
- punctuation symbol
- schematic symbol
- Schoenflies symbols
- separation symbol
- shading symbol
- Shubnikov symbols
- special symbol
- standard symbol
- start/stop symbol
- suggestive symbol
- symbol of operator
- syntactical symbol
- terminal symbol
- terminating symbol
- transistor symbols
- undeclared symbol
- undefined symbol
- underscore symbol
- unit symbol
- variable symbol
- vector symbol
- wildcard symbol
- wire symbolThe New English-Russian Dictionary of Radio-electronics > symbol
-
9 определяемый символ
Большой англо-русский и русско-английский словарь > определяемый символ
См. также в других словарях:
Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… … Wikipedia
Interpretable structure — In model theory, a structure N is called interpretable in M if all the components (universe, functions, relations etc.) of N can be defined in terms of the components of M . In particular, the universe of N is represented as a definable subset of … Wikipedia
History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
Analytical hierarchy — In mathematical logic and descriptive set theory, the analytical hierarchy is a higher type analogue of the arithmetical hierarchy. It thus continues the classification of sets by the formulas that define them. The analytical hierarchy of… … Wikipedia
Algorithm characterizations — The word algorithm does not have a generally accepted definition. Researchers are actively working in formalizing this term. This article will present some of the characterizations of the notion of algorithm in more detail. This article is a… … Wikipedia
Constructible universe — Gödel universe redirects here. For Kurt Gödel s cosmological solution to the Einstein field equations, see Gödel metric. In mathematics, the constructible universe (or Gödel s constructible universe), denoted L, is a particular class of sets… … Wikipedia
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
Arithmetical hierarchy — In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene hierarchy classifies certain sets based on the complexity of formulas that define them. Any set that receives a classification is called arithmetical. The… … Wikipedia
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
